ALGOL60講義③ 量・値・型・変数――意味記述のための基本的な諸概念を定義づけして，詳細な解説をする